Nuprl Definition : sub-es-sender
11,40
postcript
pdf
sub-es-sender(
es
;
dom
;
e
) == if
dom
(sender(
e
)) then sender(
e
) else sub-es-sender(
es
;
dom
;sender(
e
)) fi
clarification:
sub-es-sender(
es
;
dom
;
e
)
== if
dom
(es-sender(
es
;
e
)) then es-sender(
es
;
e
) else sub-es-sender(
es
;
dom
;es-sender(
es
;
e
)) fi
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
f
(
a
)
,
sender(
e
)
FDL editor aliases
sub-es-sender
origin
x.A(x)x.A(x)